type T =
  & string
  & number;
